$P$ $\wedge$ $Q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$:$P$ $\times$ $Q$